package simplytypeddebruijn


trait TextToAbstractSTParser { self: TextToAbstractSTParser with AbstractSyntax =>
    def parseToAST(str: String) : Option[LTerm]
}